CONFIG_PROJECT_1744551847=y

#
# arch configuration
#
# CONFIG_USER_APP is not set
CONFIG_ARCH="varch"
CONFIG_VARCH=y
CONFIG_ARCH_BITS="64"
CONFIG_VARCH_64=y

#
# compiler configuration
#
CONFIG_GNUC=y
CONFIG_NOIDE=y
# end of compiler configuration

CONFIG_SYSTEM_CORE_CLOCK=100000000
CONFIG_NR_IRQS=32
CONFIG_IRQ_STACK_SIZE=0x800
# end of arch configuration

#
# compat layer configuration
#
# CONFIG_CMSIS_OS is not set

#
# hardware (hal) configuration
#
CONFIG_HAL_UART=y
CONFIG_HAL_MTD=y

#
# gpio configuration
#
# CONFIG_HAL_GPIOA is not set
# CONFIG_HAL_GPIOB is not set
# CONFIG_HAL_GPIOC is not set
# CONFIG_HAL_GPIOD is not set
# CONFIG_HAL_GPIOE is not set
# CONFIG_HAL_GPIOF is not set
# CONFIG_HAL_GPIOG is not set
# CONFIG_HAL_GPIOH is not set
# CONFIG_HAL_GPIOI is not set
# CONFIG_HAL_GPIOJ is not set
# CONFIG_HAL_GPIOK is not set
# end of gpio configuration

# CONFIG_HAL_KEY is not set
# CONFIG_HAL_RNG is not set
# CONFIG_HAL_PART is not set
# CONFIG_HAL_SYS is not set
# end of hardware (hal) configuration

#
# os (kal) configuration
#
# CONFIG_OS_PONY is not set
CONFIG_OS_LINUX=y
# end of os (kal) configuration
# end of compat layer configuration

#
# components configuration
#

#
# cmder configuration
#
# end of cmder configuration

CONFIG_CRC=y
CONFIG_CRC8=y
CONFIG_CRC16=y
CONFIG_CRC_CCITT=y
CONFIG_CRC32=y
CONFIG_CRC64=y

#
# fs configuration
#
# CONFIG_DEVFS is not set
CONFIG_MOCKFS=y
CONFIG_VFS=y
CONFIG_MAX_FILE_NAME_LEN=16
CONFIG_MAX_NR_FILES=32
# end of fs configuration

CONFIG_KPRINTF=y
CONFIG_KPRINTF_UART_NAME="uart1"
# CONFIG_KPRINTF_OUT_CR is not set
# CONFIG_VLOG is not set

#
# software simluation configuration
#
# CONFIG_SW_I2C1 is not set
# end of software simluation configuration
# end of components configuration

#
# drivers configuration
#
# CONFIG_LCD is not set
# CONFIG_MTD is not set

#
# Sensor Driver Configuration
#
# CONFIG_DS18B20 is not set
# CONFIG_MPU60X0 is not set
# CONFIG_STTS22H is not set
# end of Sensor Driver Configuration

# CONFIG_TP is not set
# end of drivers configuration

#
# kernel configuration
#
# CONFIG_NR_CRITICAL_JOB_Q_SLOTS_8 is not set
# CONFIG_NR_CRITICAL_JOB_Q_SLOTS_16 is not set
CONFIG_NR_CRITICAL_JOB_Q_SLOTS_32=y
# CONFIG_NR_CRITICAL_JOB_Q_SLOTS_64 is not set
CONFIG_NR_CRITICAL_JOB_Q_SLOTS=32
CONFIG_CRITICAL_STACK_SIZE=0x800
CONFIG_CRITICAL_STACK_CHECK=y
CONFIG_IPC_EVENT=y
CONFIG_IPC_MQ=y
# CONFIG_TASK_PRIO_64 is not set
CONFIG_TASK_MIN_STACK_SIZE=0x80
CONFIG_TASK_HOOK=y
# CONFIG_TASK_CREATE_HOOK is not set
# CONFIG_TASK_DELETE_HOOK is not set
CONFIG_TASK_SWITCH_HOOK=y
CONFIG_NR_TASK_SWITCH_HOOK_SLOTS=4
# CONFIG_TASK_TLS is not set
# CONFIG_NR_TICK_Q_SLOTS_8 is not set
CONFIG_NR_TICK_Q_SLOTS_16=y
# CONFIG_NR_TICK_Q_SLOTS_32 is not set
# CONFIG_NR_TICK_Q_SLOTS_64 is not set
CONFIG_NR_TICK_Q_SLOTS_ORDER=4
CONFIG_TICK_TIMER_NAME=""
CONFIG_SYS_TICK_HZ=1000
CONFIG_NR_RR_SLICING_TICKS=100
# CONFIG_TICKLESS is not set
CONFIG_TICK_DEBUG=y
CONFIG_SOFT_TIMER=y
CONFIG_DEFER=y
CONFIG_DEFERRED_STACK_SIZE=0x800
CONFIG_DEFERRED_NAME="defer"
# end of kernel configuration

#
# memory configurations
#
# CONFIG_HEAP_DEBUG is not set
CONFIG_BESTFIT=y
# CONFIG_TLSF is not set
CONFIG_MEM_STATISTICS=y
CONFIG_MEMPOOL=y
CONFIG_MEM_MALLOC=y
# end of memory configurations

#
# tests configuration
#
CONFIG_GTEST=y
CONFIG_GCOV=y
CONFIG_VALGRIND=y
# end of tests configuration

#
# third party configuration
#

#
# target (soc and board) configuration
#
CONFIG_BOARD_VLINUX64=y
CONFIG_SOC="vm64"
CONFIG_LINK_TYPE="rom"
CONFIG_ROM_START=0x00000000
CONFIG_ROM_SIZE=0x00000000
CONFIG_RAM_START=0x00000000
CONFIG_RAM_SIZE=0x00000000
# CONFIG_EXTRA_RAM0 is not set
# CONFIG_EXTRA_RAM1 is not set
# CONFIG_EXTRA_RAM2 is not set
CONFIG_MAIN_TASK_PRIO=20
CONFIG_MAIN_TASK_OPTIONS=0
CONFIG_MAIN_TASK_STACK_SIZE=0x800
CONFIG_SOC_VM=y
CONFIG_VM_DUMMY=y

#
# external memory configuration
#
CONFIG_VM_RAM=y
CONFIG_RAM_DEVICE_SIZE=0x4000000
# end of external memory configuration

CONFIG_SOC_VM64=y
# end of target (soc and board) configuration
